1. Computer science logic :
پدیدآورنده : Hans Kleine Büning (ed.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science -- Congresses.,Computer science.,Logic, Symbolic and mathematical -- Congresses.
رده :
QA75
.
5
H367
1996
2. Decision problems for equational theories of relation algebras
پدیدآورنده : Andreka, Hajnal
کتابخانه: (طهران)
موضوع : ، Relation algebras,، Decidability )Mathematical logic(
رده :
QA
3
.
A475
no
.
604